An Introduction to basic metaepistemological debates and positions.

Expressivism is a blossoming meta-semantic framework sometimes relying on what Carter and Chrisman call “the core expressivist maneuver.” That is, instead of asking about the nature of a certain kind of value, we should be asking about the nature of the value judgment in question. According to expressivists, this question substitution opens theoretical space for the elegant, economical, and explanatorily powerful expressivist treatment of the relevant domain. I argue, however, that experimental work in cognitive psychology can shed light on how (...) the core expressivist maneuver operates at the cognitive level and that this: raises worries about the aptness of the expressivist question substitution and supports an evolutionary debunking argument against expressivism. Since evolutionary debunking arguments are usually run in favor of expressivism, this creates an obvious puzzle for expressivists. I wrap up by briefly responding to the objection that the debunking argument against expressivism overgeneralizes and, therefore, should be rejected. (shrink)

I sketch an interpretation of Tolstoy’s implicit moral theory on the basis of his masterpieces War and Peace and Anna Karenina. I suggest that Tolstoy is a theistic moral realist who believes that God’s will identifies the mind-independent truths of morality. He also thinks that, roughly, it suffices to heed natural moral emotions (like love and compassion) to know the right thing to do, that is, God’s will. In appraisal of Tolstoy’s interesting and original theory that I dub ‘theistic populist (...) sentimentalism’, I argue that it prima facie runs into a string of fallacies and undertakes dubious assumptions that render it open to question. (shrink)

I present an argument for a sophisticated version of sceptical invariantism that has so far gone unnoticed: Bifurcated Sceptical Invariantism (BSI). I argue that it can, on the one hand, (dis)solve the Gettier problem, address the dogmatism paradox and, on the other hand, show some due respect to the Moorean methodological incentive of ‘saving epistemic appearances’. A fortiori, BSI promises to reap some other important explanatory fruit that I go on to adduce (e.g. account for concessive knowledge attributions). BSI can (...) achieve this much because it distinguishes between two distinct but closely interrelated (sub)concepts of (propositional) knowledge, fallible-but-safe knowledge and infallible-and-sensitive knowledge, and explains how the pragmatics and the semantics of knowledge discourse operate at the interface of these two (sub)concepts of knowledge. I conclude that BSI is a novel theory of knowledge discourse that merits serious investigation. (shrink)

I argue that, at least on the assumption that if there are epistemic facts they are irreducible, the evolutionary debunking maneuver is prima facie self-debunking because it seems to debunk a certain class of facts, namely, epistemic facts that prima facie it needs to rely on in order to launch its debunking arguments. I then appeal to two recent reconstructions of the evolutionary debunking maneuver (Kahane (2011), Griffiths and Wilkins (2015)) and find them wanting. Along the way I set aside (...) two ways (one envisaged, the other by Sterpetti (2015)) to avoid the self-debunking problem that I find unpromising. I conclude that the evolutionary debunking maneuver needs to clarify the meta-epistemological commitments upon which it is supposed to operate. (shrink)

Recent literature has paid attention to a demarcation problem for evolutionary debunking arguments. This is the problem of asking in virtue of what regulative metaepistemic norm evolutionary considerations either render a belief justified, or debunk it as unjustified. I examine the so-called ‘Milvian Bridge principle’ A new science of religion, Routledge, New York, 2012; Sloan, McKenny, Eggelson Darwin in the 21st century: nature, humanity, and God, University Press, Notre Dame, 2015)), which offers exactly such a called for regulative metaepistemic norm. (...) The Milvian Bridge principle suggests that the metaepistemic norm is: adaptive reliability for truth of cognitive processes that the existence of corresponding truth-making facts evolutionary theory justifies. I argue that the Milvian Bridge principle is problematic on a number of counts, something that is shown via spiraling ‘companions in guilt arguments’. Finally, I consider ‘the core reductionist objection’ to the critique of the Milvian Bridge principle and offer a response. I conclude that the Milvian Bridge principle is destabilized. (shrink)

Cuneo and Shafer-Landau (2014) argued that there are moral conceptual truths that are substantive in content, what they called ‘moral fixed points’. I argue that insofar as we have some reason to postulate moral fixed points, we have equal reason to postulate epistemic fixed points (e.g. the factivity condition). To this effect, I show that the two basic reasons Cuneo and Shafer-Landau (2014) offer in support of moral fixed points naturally carry over to epistemic fixed points. In particular, epistemic fixed (...) points exhibit the four ‘marks’ of conceptual truths that they identify and can be utilized to address important challenges to epistemic realism. I conclude that insofar as we have some reason to postulate moral fixed points, we have equal reason to postulate epistemic fixed points. -/- . (shrink)

It is almost an epistemological platitude that the goal of inquiry is to pursue truth-acquisition and falsity-avoidance. But further reflection on this dual goal of inquiry reveals that the two (sub)goals are in tension because they are inversely proportionate: the more we satisfy the one (sub)goal the less we satisfy the other and vice versa. I elaborate the inverse proportionality point in some detail and bring out its puzzling implications about the normative question of what one ought to believe. As (...) I argue, given the tension between the two (sub)goals, the problem of the correct regulation of belief-fixation pops to the surface. Call this ‘the James problem’ in tribute to William James who first drew attention to the problem. As a response ‘to the James Problem’, I sketch the contours of a solution to the problem that involves the rather neglected epistemic concepts of understanding and wisdom and links these concepts with the goal of eudaimonia (or living well). The resultant theory constitutes an approach to epistemic normativity that makes little use of the traditional epistemic concepts of truth and knowledge that have historically dominated the field of epistemology. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

The problem considered in this chapter emerges from the tension we find when looking at the design and architecture of chatbots on the one hand and their conversational aptitude on the other. In the way that LLM chatbots are designed and built, we have good reason to suppose they don't possess second-order capacities such as intention, belief or knowledge. Yet theories of conversation make great use of second-order capacities of speakers and their audiences to explain how aspects of interaction succeed. (...) As we can all bear witness to now though, at the point of use chatbots appear capable of performing language tasks at a level close to that of humans. This creates a tension when we consider something like, for example, the classic Gricean theory of implicature. On a broad summary of this type of account, to utter p and implicate q requires the reflexive occurrence of an audience supposing a speaker believes that q, and the speaker believing that their audience can determine they believe it when they utter p. So taken at face value, if a chatbot doesn’t have the capacity for belief, then either in their role as speaker or audience, they would not seem capable of either generating or comprehending implicatures. Yet on the surface it does seem that chatbots are capable of dealing with (some) implicatures, and as such it raises questions about how we should then correlate this with what we think occurs in cases of implicature with chatbots. (shrink)

Pada musim semi, entah kenapa, tidak banyak ikan. Karena tangkapannya sangat tidak stabil, Pekakak mulai berpikir. Lalu membuat beberapa rencana. Dengan otoritas komandonya, dia memanggil Bangau: – Ini adalah musim penangkapan ikan yang sangat sulit. Jika kita ingin kenyang, kita harus membuat usaha patungan. Bangau mengangguk, menambahkan: - Saya setuju; mari kita beternak ikan kakap putih dan ikan mas krusia. Jenis ini berumur panjang dan sangat produktif. Pekakak dan Bangau sepakat untuk berbagi tugas beternak, dan tidak ada diskriminasi yang diizinkan. (...) Namun imbalannya berbeda: Pekakak bertanggung jawab untuk ikan kakap putih dan, dengan demikian, dapat memiliki lebih banyak ikan kakap putih, sedangkan Bangau mendapat ikan mas krusia. Siapapun yang memelihara ikan mana yang lebih banyak akan menikmati 80% dari panen akhir ikan tersebut. Keduanya akan mengevaluasi dan membagi produk ternak pada akhir musim beternak. Ini berarti mengantongi sendiri ikan hasil usaha patungan untuk diri sendiri itu dilarang. (shrink)

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

Suatu pagi di musim panas, desa burung diselimuti keheningan. Semua orang sibuk mendengarkan pengembara baru. Burung pengembara ini berasal dari keluarga yang tidak jelas; bulunya berwarna-warni, gerak-geriknya lucu, dan ilmunya baru. Dia bercerita seolah-olah sedang memberi ceramah, tepat sekali, warga desa memanggilnya burung Guru – orang yang menjawab setiap pertanyaan aneh warga desa yang rajin belajar. Burung pelatuk telah belajar menangkap cacing di sore hari, sehingga mereka tidak perlu bangun pagi. Burung pipit sekarang tahu cara mencuri beras dari gudang saat (...) sawah mulai kering. Bulbul, sementara itu, telah mengambil kesempatan berkumpul untuk memamerkan kecantikan dan fashion mereka… . (shrink)

Pekakak selama ini tinggal di gua galiannya sendiri di tepi kolam, tapi sekarang dia memutuskan bahwa dia membutuhkan rumah baru. Dia melakukan tur keliling desa untuk melihat bagaimana burung-burung lain membangun rumah mereka. Dia mengunjungi Tuan Pipit, yang tinggal di pohon pinus yang bersiul. Bagian depan bangunannya tampak indah, dan lokasinya yang tinggi memberikan ventilasi yang baik. Tapi, semakin lama dia menginap, dia jadi semakin pusing. Hembusan angin apa pun yang menerpa membuat seluruh struktur bangunan bergetar seolah-olah akan hancur berantakan.

Peter Baumann offers the tantalizing suggestion that Thomas Reid is almost, but not quite, a pragmatist. He motivates this claim by posing a dilemma for common sense philosophy: Will it be dogmatism or scepticism? Baumann claims that Reid points to but does not embrace a pragmatist third way between these unsavory options. If we understand `pragmatism' differently than Baumann does, however, we need not be so equivocal in attributing it to Reid. Reid makes what we could call an argument from (...) practical commitment, and this is plausibly an instance of what William James calls the pragmatic method. (shrink)

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

Migrating legacy database applications to modern cloud-based solutions, such as Snowflake, is becoming essential for organizations aiming to leverage scalable, efficient, and cost-effective data solutions. Legacy databases, typically bound to on-premises infrastructure, often lack the flexibility required by contemporary data analytics and storage needs. Snowflake, a cloud-native data platform, provides a versatile environment that enables efficient data storage, sharing, and processing. This research examines a structured methodology for migrating legacy database applications to Snowflake, addressing key stages from initial assessment to (...) data transformation, integration, and performance optimization. A systematic, step-by-step migration process is implemented to minimize risks, reduce downtime, and ensure data integrity. (shrink)

It seems obvious that a community of one thousand scientists working together to make discoveries and solve puzzles should arrange itself differently than would one thousand scientist-hermits working independently. Because of limited time, resources, and attention, an independent scientist can explore only some of the possible approaches to a problem. Working alone, each hermit would explore the most promising approaches. They would needlessly duplicate the work of others and would be unlikely to develop approaches which look unpromising but really have (...) tremendous potential. Contrariwise, a large community can more rigorously explore the space of possible approaches. Most scientists should work on the most promising approaches, but a smaller number can be committed to approaches that initially look less promising. Exploratory work can reveal if one of those initially unpromising approaches has unrealized potential, and more scientists can adopt it once its potential becomes more apparent. (shrink)

A discussion and qualified defense of Philip Kitcher on scientific significance and ‘well-ordered science.’ (Qualified because I argue that Kitcher’s position is made unstable by his reliance on the largely unanalyzed notion of natural curiosity.).

Cloud storage's scalability, accessibility, and affordability have made it essential in the digital age. Data security and privacy remain a major issue due to the large volume of sensitive data kept on cloud services. Traditional encryption is safe but slows data recovery, especially for keyword searches. Secure, fine-grained access control and quick keyword searches over encrypted data are possible using attribute-based keyword search (ABKS). This study examines how ABKS might optimize search efficiency and data security in cloud storage systems. We (...) examine index compression, query processing improvement, and encryption optimization to decrease computational cost and preserve security. (shrink)

The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scientific theories” (Stanford 2001, (...) p. S12). This paper examines Stanford’s New Induction and argues that it – like the other forms of underdetermination that he criticizes – merely recapitulates familiar philosophical conundra. (shrink)

Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to deductive conclusions without any need for other representations.

In this paper, I reply to 18 of the essays on panpsychism in this issue. Along the way, I sketch out what a post-Galilean science of consciousness, one in which consciousness is taken to be a fundamental feature of reality, might look like.

The Genetic Ranking Optimization Algorithm (GROA) is used to rank phishing content based on multiple features by optimizing the ranking system through iterative selection and weighting. Dynamic weighting further enhances the process by adjusting the weights of features based on their importance in real-time. This hybrid approach enables the model to learn from the data, improving classification over time.

Exclusionary defeat is Joseph Raz’s proposal for understanding the more complex, layered structure of practical reasoning. Exclusionary reasons are widely appealed to in legal theory and consistently arise in many other areas of philosophy. They have also been subject to a variety of challenges. I propose a new account of exclusionary reasons based on their justificatory role, rejecting Raz’s motivational account and especially contrasting exclusion with undercutting defeat. I explain the appeal and coherence of exclusionary reasons by appeal to commonsense (...) value pluralism and the intermediate space of public policies, social roles, and organizations. We often want our choices to have a certain character or instantiate a certain value and in order to do so, that choice can only be based on a restricted set of reasons. Exclusion explains how pro tanto practical reasons can be disqualified from counting towards a choice of a particular kind without being outweighed or undercut. (shrink)

There is a history of thinking that photographs provide a special kind of access to the objects depicted in them, beyond the access that would be provided by a painting or drawing. What is included in the photograph does not depend on the photographer’s beliefs about what is in front of the camera. This feature leads Kendall Walton to argue that photographs literally allow us to see the objects which appear in them. Current generative algorithms produce images in response to (...) users’ text prompts. Depending on the parameters, the output can resemble specific people or things which are named in the prompt. This resemblance does not depend on the user’s beliefs, so generated images are in this sense like photographs. Given this parallel, how should we think about AI-generated images? (shrink)

Most philosophers who study moral responsibility have done so in isolation of the concept of truth. Here, I show that thinking about the nature of truth has profound consequences for discussions of moral responsibility. In particular, by focusing on the very trivial nature of truth—that truth depends on the world and not the other way around—we can see that widely accepted counterexamples to one of the most influential incompatibilist arguments can be shown not only to be false, but also impossible.

The Homeostatic Property Cluster (HPC) account of natural kinds has become popular since it was proposed by Richard Boyd in the late 1980s. Although it is often taken as a defining natural kinds as such, it is easy enough to see that something's being a natural kind is neither necessary nor sufficient for its being an HPC. This paper argues that it is better not to understand HPCs as defining what it is to be a natural kind but instead as (...) providing the ontological realization of (some) natural kinds. (shrink)

Political legitimacy is best understood as one type of a broader notion, which I call institutional legitimacy. An institution is legitimate in my sense when it has the right to function. The right to function correlates to a duty of non-interference. Understanding legitimacy in this way favorably contrasts with legitimacy understood in the traditional way, as the right to rule correlating to a duty of obedience. It helps unify our discourses of legitimacy across a wider range of practices, especially including (...) the many evaluations we increasingly make of international institutions of various sorts, but also including domestic institutions. (shrink)

When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose their accounts in (...) terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

Philosophy in Africa has for more than a decade now been dominated by the discussion of one compound question, namely, is there an African philosophy, and if there is, what is it? The first part of the question has generally been unhesitatingly answered in the affirmative. Dispute has been primarily over the second part of the question as various specimens of African philosophy presented do not seem to pass muster. Those of us who refuse to accept certain specimens as philosophy (...) have generally been rather illogically said also to deny an affirmative answer to the first part of the question. In a paper presented at the International Symposium in Memory of Dr William Amo, the Ghanaian philosopher who taught in German universities in the early part of the eighteenth century, Professor Odera Oruka identified four trends, perhaps more appropriately approaches, in current African philosophy. (shrink)

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

Christy Mag Uidhir has recently argued (a) that there is no in principle aesthetic difference between a live performance and a recording of that performance, and (b) that the proper aesthetic object is a type which is instantiated by the performance and potentially repeatable when recordings are played back. This paper considers several objections to (a) and finds them lacking. I then consider improvised music, a subject that Mag Uidhir explicitly brackets in his discussion. Improvisation reveals problems with (b), because (...) the performance-event and the performance-type are distinct but equally proper aesthetic objects. (shrink)

Tradução para o português do ensaio "Freedom and Resentment”, de P. F. Strawson. Publicado originalmente em Proceedings of the British Academy, v. 48, 1960. Republicado em Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 2-28]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da UFSC, 2015. ISBN: 9788532807250.

The accepted narrative treats John Stuart Mill’s Kinds as the historical prototype for our natural kinds, but Mill actually employs two separate notions: Kinds and natural groups. Considering these, along with the accounts of Mill’s nineteenth-century interlocutors, forces us to recognize two distinct questions. First, what marks a natural kind as worthy of inclusion in taxonomy? Second, what exists in the world that makes a category meet that criterion? Mill’s two notions offer separate answers to the two questions: natural groups (...) for taxonomy and Kinds for ontology. This distinction is ignored in many contemporary debates about natural kinds and is obscured by the standard narrative that treats our natural kinds just as a development of Mill’s Kinds. (shrink)

Standard accounts of civil disobedience include nonviolence as a necessary condition. Here I argue that such accounts are mistaken and that civil disobedience can include violence in many aspects, primarily excepting violence directed at other persons. I base this argument on a novel understanding of civil disobedience: the special character of the practice comes from its combination of condemnation of a political practice with an expressed commitment to the political. The commitment to the political is a commitment to engaging with (...) others as co-members in the on-going political project of living together. I show how such an understanding of civil disobedience is superior to the Rawlsian strain of thought, which focuses on fidelity to law. Rawls was concerned with civil disobedience solely in the context of overriding political obligation. The project of characterizing a contestatory political practice that can be distinguished and used in a wider variety of contexts than Rawls is concerned with, including under illegitimate regimes, beyond the nation-state, or on behalf of anarchism, requires a different understanding of civil disobedience. (shrink)

Tradução para o português do ensaio "Social Morality and Individual Ideal”. Publicado originalmente em Philosophy: The Journal of the Royal Institute of Philosophy, vol. XXXVI, n. 136, p. 1-17, Jan. 1961. Republicado em: STRAWSON, P. F. Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 26-44]. ]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da (...) UFSC, 2015. ISBN: 9788532807250. (shrink)

In 1956, a few writings of Wittgenstein that he didn't publish in his lifetime were revealed to the public. These writings were gathered in the book Remarks on the Foundations of Mathematics (1956). There, we can see that Wittgenstein had some discontentment with the way philosophers, logicians, and mathematicians were thinking about paradoxes, and he even registered a few polemic reasons to not accept Gödel’s incompleteness theorems.

Some philosophers understand natural kinds to be the categories which are constraints on enquiry. In order to elaborate the metaphysics appropriate to such an account, I consider the complicated history of scurvy, citrus, and vitamin C. It may be tempting to understand these categories in a shallow way (as mere property clusters) or in a deep way (as fundamental properties). Neither approach is adequate, and the case instead calls for middle-range ontology: starting from categories which we identify in the world (...) and elaborating their structure, but not pretending to jump ahead to a complete story about fundamental being. (shrink)

Tradução para o português do livro "Ceticismo e naturalismo: algumas variedades", Strawson, P. F. . São Leopoldo, RS: Editora da Unisinos, 2008, 114 p. Coleção: Ideias. ISBN: 9788574313214. Capítulo 1 - Ceticismo, naturalismo e argumentos transcendentais 1. Notas introdutórias; 2. Ceticismo tradicional; 3. Hume: Razão e Natureza; 4. Hume e Wittgenstein; 5. “Apenas relacionar”: O papel dos argumentos transcendentais; 6. Três citações; 7. Historicismo: e o passado.

How should we respond to the humanity of others? Should we care for others’ well-being? Respect them as autonomous agents? Largely neglected is an answer we can find in the religious traditions of Judaism, Christianity and Buddhism: we should love all. This paper argues that an ideal of love for all can be understood apart from its more typical religious contexts and moreover provides a unified and illuminating account of the the nature and grounds of morality. I defend a novel (...) account of love for all that avoids serious worries about the incoherence or impossibility of loving everyone. Doing so requires countenancing a neglected form of love. Love admits as its object not just individual entities like people and groups; we can also bear a love for the Fs in general---for all the Joneses, all the philosophers, or even all the human beings. I go on to argue that while it is possible for ordinary agents like us to love all, we shouldn't. Instead, we should approximate love for all. The minimal approximation of love for all is, surprisingly, respect; I derive the basic, structural features of deontological ethics (including anti-paternalism and anti-aggregation) from the ideal of loving all. (NB: This paper used to be titled "Ethics in the Shadow of Love" and has been cited as an unpublished manuscript under that title.). (shrink)

P. F. Strawson; II*—Scruton and Wright on Anti-Realism Etc., Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 15–22, https://doi.

That every expression of language that is {true on the basis of its meaning expressed using language} must have a connection by truth preserving operations to its {meaning expressed using language} is a tautology. The accurate model of the actual world is expressed using formal language and formalized natural language.

This is a conversation that I had with ChatGTP about the essence of this paper [Simulating Termination Analyzer H is Not Fooled by Pathological Input D] that is contained on its first page. It so totally understands this essence that ChatGPT can now effectively refute any rebuttals. -/- After the initial partial page of text shown below everything else that I said challenged the depth of its understanding with common rebuttals of my work. The link to the conversation is provided (...) at the end. Currently people can click on the link without logging in and challenge ChatGPT with rebuttals of my work. (shrink)

The Argument from Inductive Risk (AIR) is taken to show that values are inevitably involved in making judgements or forming beliefs. After reviewing this conclusion, I pose cases which are prima facie counterexamples: the unreflective application of conventions, use of black-boxed instruments, reliance on opaque algorithms, and unskilled observation reports. These cases are counterexamples to the AIR posed in ethical terms as a matter of personal values. Nevertheless, it need not be understood in those terms. The values which load a (...) theory choice may be those of institutions or past actors. This means that the challenge of responsibly handling inductive risk is not merely an ethical issue, but is also social, political, and historical. (shrink)

Kyle Stanford has recently claimed to offer a new challenge to scientific realism. Taking his inspiration from the familiar Pessimistic Induction (PI), Stanford proposes a New Induction (NI). Contra Anjan Chakravartty’s suggestion that the NI is a ‘red herring’, I argue that it reveals something deep and important about science. The Problem of Unconceived Alternatives, which lies at the heart of the NI, yields a richer anti-realism than the PI. It explains why science falls short when it falls short, and (...) so it might figure in the most coherent account of scientific practice. However, this best account will be antirealist in some respects and about some theories. It will not be a sweeping antirealism about all or most of science. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

I defend a new reading of Spinoza's account of causation that reconciles the strengths of the mechanist and formal cause interpretations by locating instances of nature's fixed and unchanging laws inside individual natures; natures are efficacious because that's where the laws are. God's necessity, for instance, follows from certain logical principles contained within God's nature. Causes between finite particulars likewise stem entirely from finite natures. They do so, I argue, because finite instances of nature's fixed and unchanging laws are inscribed (...) within those natures. In each of these instances, effects follow from natures on account of laws contained within them. (shrink)